1

The MODUS Approach to Formal Verification

Année:
2014
Langue:
english
Fichier:
PDF, 445 KB
english, 2014
2

Integrated service resource reservation using queueing networks theory

Année:
2014
Langue:
english
Fichier:
PDF, 295 KB
english, 2014